Jip J. Dekker Dekker1
0 Followers · 0 Following
Repositories
24
 Projects Packages Public Activity Starred Repositories
Filter
Sort
chronozinc Archived
Go 0 0
A small application used to run benchmarks on MiniZinc models and solvers
Updated 2025-03-03 11:37:17 +00:00
linter-mzn Archived
CoffeeScript 0 0
Atom linter for MiniZinc
Updated 2025-03-03 11:36:10 +00:00
atom-minisuite Archived
CoffeeScript 0 0
An Atom package that intends to bring the MiniZinc IDE experience to Atom!
Updated 2025-03-03 11:34:42 +00:00
ponder Archived
Go 0 0
A small application to manage Lilypond music repositories
Updated 2025-03-03 11:25:07 +00:00
Gastenboek Archived
Go 0 0
Een Gastenboek, ter voorkoming van brassen geheel geautomatiseerd.
Updated 2025-03-03 11:23:53 +00:00
gobooklet Archived
Go 0 0
A small go program that converts pdf-files to booklets
Updated 2025-03-03 11:22:39 +00:00
Fourmi Archived
Python 0 0
A web scraper build to search specific information for a given compound (and its pseudonyms)
Updated 2025-03-03 11:21:26 +00:00
TCP-setup-uppaal Archived
TeX 0 0
An Uppaal analysis of the connection setup of the TCP protocol.
Updated 2025-03-03 11:20:15 +00:00
dekker.one
TypeScript 0 0
dekker.one website
Updated 2025-02-25 20:24:54 +00:00